Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
211	Handbook of Research on Nature Inspired Computing for Economics and Management Edited by: Jean-Philippe Rennard, Grenoble Graduate Add to Reading List Source URL: www.rennard.org Language: English - Date: 2014-07-28 10:20:04 Knowledge Education Complex systems theory Systems theory Evolutionary algorithms Agent-based model Evolutionary computation Genetic algorithm Genetic programming Cybernetics Science Mathematical optimization
212	Model-Checking Overview of Automated Verification SW/HW SW/HW artifact Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-02-06 13:57:58 Mathematical logic Formal languages Logical syntax Philosophy of language Interpretation Computation tree logic Well-formed formula Function Kripke structure Logic Mathematics Temporal logic
213	Earth System Modeling Framework[removed]Python for Assembling Climate Modeling Toolkits Robert Jacob – ANL and U. of Chicago Computation Institute Raymond T. Pierrehumbert – University of Chicago, Geophysical Sciences Add to Reading List Source URL: www.earthsystemmodeling.org Language: English - Date: 2010-01-06 16:08:27 ESMF Weather prediction Scripting languages Python Eric Python IDE Climate model NetCDF Common modeling infrastructure Software Atmospheric sciences Computing
214	Extracted from: Good Math A Geek’s Guide to the Beauty of Numbers, Logic, and Computation Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-08-07 09:11:47 Predicate logic Set theory Model theory Semantics Predicate First-order logic S Naive set theory Infinity Mathematical logic Logic Mathematics
215	Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions? Jasmin Christian Blanchette Institut für Informatik, Technische Universität München, Germany blandontspamme chette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-02-19 17:14:13 Model theory Computability theory Functions and mappings Models of computation Lambda calculus Theoretical computer science Primitive recursive function Interpretation Function Mathematical logic Mathematics Logic
216	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Model theory Computability theory Functions and mappings Models of computation Functional languages Lambda calculus Interpretation Function First-order logic Mathematical logic Mathematics Logic
217	Generative Type Abstraction and Type-level Computation Dimitrios Vytiniotis Simon Peyton Jones Stephanie Weirich University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:21 Model theory Entailment Logic Metalogic Deduction
218	Predicative Lexicographic Path Orders: Towards a Maximal Model for Primitive Recursive Functions∗ Naohi Eguchi Institute of Computer Science, University of Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Mathematical logic Recursion Theory of computation Functions and mappings Programming idioms Primitive recursive function Well-founded relation ELEMENTARY Fold Computability theory Mathematics Theoretical computer science
219	Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin Ho Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-12-11 05:21:07 Metalogic Denotational semantics Structure Continuous function Sheaf Lambda calculus Orbifold Surreal number Mathematics Models of computation Model theory

UPDATE